Bipartite graph-based control flow checking for COTS-based small satellites
نویسندگان
چکیده
منابع مشابه
Optical-based Cots Data Communication Bus for Satellites
COTS components are gathering more and more interest from satellite developers thanks to their lower cost and ease of procurement as compared to space qualified ones. A number of studies to evaluate the possibility of COTS use in space systems are under way: automotive and consumer electronic devices are evolving fast and their innovative solutions can have a beneficial effect on space systems....
متن کاملSoftware Based Concurrent Control Flow Checking
A software technique to concurrently detect errors is presented It is based on monitoring the sequence of high level language statements using assigned signature control ow checking A preprocessor analyzes the program source and inserts control ow checking code into the program This method is shown to have only a low execution time overhead and moderate program size overhead It was evaluated on...
متن کاملControl-Flow-Graph-Based Aspect Mining
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static aspect mining approach, where the control flow graphs of a program are investigated for recurring execution patterns based on different constraints, such as the requirement that the patterns have to exist in different cal...
متن کاملControl Flow Integrity for COTS Binaries
Control-Flow Integrity (CFI) has been recognized as an important low-level security property. Its enforcement can defeat most injected and existing code attacks, including those based on Return-Oriented Programming (ROP). Previous implementations of CFI have required compiler support or the presence of relocation or debug information in the binary. In contrast, we present a technique for applyi...
متن کاملapplication of upfc based on svpwm for power quality improvement
در سالهای اخیر،اختلالات کیفیت توان مهمترین موضوع می باشد که محققان زیادی را برای پیدا کردن راه حلی برای حل آن علاقه مند ساخته است.امروزه کیفیت توان در سیستم قدرت برای مراکز صنعتی،تجاری وکاربردهای بیمارستانی مسئله مهمی می باشد.مشکل ولتاژمثل شرایط افت ولتاژواضافه جریان ناشی از اتصال کوتاه مدار یا وقوع خطا در سیستم بیشتر مورد توجه می باشد. برای مطالعه افت ولتاژ واضافه جریان،محققان زیادی کار کرده ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chinese Journal of Aeronautics
سال: 2015
ISSN: 1000-9361
DOI: 10.1016/j.cja.2015.04.010